"Roberto Gorrieri" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

Категория: Компьютеры

3.31 Mb

#2

Computational Methods in Systems Biology

Pierpaolo Degano, Roberto Gorrieri

Категория: Математика, Вычислительная математика

6.64 Mb

#3

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009 (Lecture Notes in Computer Science Lecture Notes in Bioinformatics)

Pierpaolo Degano, Roberto Gorrieri

Категория: Компьютеры

7.42 Mb

#4

Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

Категория: Компьютеры

5.45 Mb

#5

Foundations of Security Analysis and Design VI

Alessandro Aldini, Roberto Gorrieri

3.64 Mb

#6

Automata, Languages and Programming, 24 conf., ICALP97

Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela

Категория: Cs_Computer science, CsLn_Lecture notes

10.31 Mb

#7

Foundations of Security Analysis and Design 3 conf., FOSAD 2004-2005 Tutorial Lectures

Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli

Категория: CsLn_

2.56 Mb

#8

Foundations of Security Analysis and Design

Riccardo Focardi, Roberto Gorrieri

1.97 Mb

#9

Foundations of Security Analysis and Design: Tutorial Lectures

Riccardo Focardi, Roberto Gorrieri

2.74 Mb

#10

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006,

Roberto Gorrieri, Heike Wehrheim

3.98 Mb

#11

Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures

Alessandro Aldini, Roberto Gorrieri

4.33 Mb

#12

Foundations of Security Analysis and Design II

Riccardo Focardi, Roberto Gorrieri

2.42 Mb

#13

Introduction to Concurrency Theory: Transition Systems and CCS

Roberto Gorrieri, Cristian Versari

Категория: Progamming, Mathematics

3.47 Mb